IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 20, NO. X,

Source URL: www.di.fc.ul.pt

• Fault-tolerant computer systems
• Distributed computing
• Consensus
• Linearizability
• State machine replication
• Tuple space
• Algorithm
• Extensible Storage Engine

Single Program, Multiple Data Programming for Hierarchical Computations by Amir Ashraf Kamil A dissertation submitted in partial satisfaction of the requirements for the degree of

Source URL: titanium.cs.berkeley.edu

• Concurrent computing
• Computing
• Parallel computing
• Computer programming
• Cray
• SPMD
• Unified Parallel C
• Divide and conquer algorithms
• Thread
• OpenMP
• Algorithm
• Cell

Parallel Queue Model Approach to Traffic Microsimulations
Nurhan Cetin, Kai Nagel Dept. of Computer Science, ETH Z¨urich, 8092 Z¨urich, Switzerland

Source URL: www.strc.ch

• Parallel computing
• Queueing theory
• Message Passing Interface
• Speedup
• Computer cluster
• Parallel algorithm
• Queue
• Supercomputer
• Traffic simulation
• Work stealing
• Distributed computing

Mechanized Verification of 
 Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey

Source URL: ilyasergey.net

• Computing
• Software
• Concurrency control
• Separation logic
• Lock
• Concurrency
• Non-blocking algorithm
• Concurrent computing
• Parallel computing
• Linearizability
• Go

A PARALLEL HYBRID GA FOR PEPTIDE 3-D STRUCTURE PREDICTION 1 Carlos A. DEL CARPIO and Shin-ichi SASAKI

Source URL: www.jsbi.org

• Chemistry
• Nature
• Stereochemistry
• Protein structure
• Mathematical optimization
• Conformational isomerism
• Isomerism
• Physical organic chemistry
• Genetic algorithm
• Transputer
• Dihedral angle
• Amino acid

A Fast Parallel Maximum Clique Algorithm for Large Sparse Graphs and Temporal Strong Components Ryan A. Rossi, David F. Gleich, Assefaw H. Gebremedhin Md. Mostofa Ali Patwary

Source URL: www.ryanrossi.com

diploma thesis Adaptive Building Intelligence Parallel Fuzzy Controlling and Learning Architecture Based on a Temporary and Long-Term Memory

Source URL: www.kutter-fonds.ethz.ch

• Fuzzy logic
• Artificial intelligence
• Logic
• Logic in computer science
• Mathematical logic
• Theoretical computer science
• Control engineering
• Genetic fuzzy systems
• Fuzzy control system
• Genetic algorithm
• Fuzzy set
• Fuzzy markup language

A NEW PARALLEL KERNEL-INDEPENDENT FAST MULTIPOLE METHOD ∗ LEXING YING†, GEORGE BIROS†, DENIS ZORIN†, AND HARPER LANGSTON† Abstract. We present a new adaptive fast multipole algorithm and its parallel implementa

Source URL: math.stanford.edu

A Randomized Sublinear Time Parallel GCD Algorithm ∗ for the EREW PRAM Jonathan P. Sorenson Computer Science and Software Engineering, Butler University Indianapolis, INUSA

Source URL: www.ants9.org

Communication Optimal Parallel Multiplication of Sparse Random Matrices∗ Grey Ballard Aydın Buluç

Source URL: gauss.cs.ucsb.edu

• Multiplication
• Matrix theory
• Numerical linear algebra
• Matrix multiplication algorithm
• Analysis of algorithms
• Computational complexity theory
• Matrix multiplication
• Matrix
• Parallel computing
• Multiplication algorithm
• Algorithm
• Time complexity